minimization of finite state machine